#pragma once

#include <gofcl_timer_chcv.h>

static inline void timer_set_channel_cmp_value(timer_qe timer_q,
					       timer_chcv_re channel_r,
					       u32_s cmp_value) {
	timer_wreg_chcv(timer_q, channel_r, cmp_value);
}

static inline u32_s timer_get_channel_cmp_value(timer_qe timer_q,
						timer_chcv_re channel_r) {
	return timer_rreg_chcv(timer_q, channel_r);
}
